Constraint learning - PDFSEARCH.IO - Document Search Engine

Constraint learning
Results: 76

#	Item
1	Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Constraint programming Mathematical optimization Theoretical computer science Statistical classification Artificial intelligence Machine learning Support vector machine Constraint satisfaction problem Constraint satisfaction Decomposition method Constrained optimization Constraint
2	Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-08-09 17:19:27 Constraint programming Mathematical optimization Theoretical computer science Statistical classification Artificial intelligence Machine learning Support vector machine Constraint satisfaction problem Constraint satisfaction Decomposition method Constrained optimization Constraint
3	Machine Learning for Constraint Solving Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag TAO, Univ. Paris-Sud Dagstuhl Add to Reading List Source URL: www.lri.fr Language: English - Date: 2011-05-16 20:49:36
4	Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving Neng-Fa Zhou Yoshitaka Kameya Add to Reading List Source URL: www.sci.brooklyn.cuny.edu - Date: 2010-05-06 12:42:05
5	TREEBANK-BASED RESEARCH AND E-LEARNING OF ESTONIAN SYNTAX Heli Uibo, Eckhard Bick* University of Tartu (Estonia), University of Southern Denmark Abstract The creation of syntactically annotated corpora of Estonian s Add to Reading List Source URL: visl.sdu.dk Language: English* - Date: 2005-12-07 06:49:16 Linguistics Language Syntax Computational linguistics Corpus linguistics Applied linguistics Semantics Treebank Eckhard Bick Constraint Grammar Dependency grammar Parsing
6	Journal of Machine Learning Research–72 Submitted 10/01; Published 7/02 On the Convergence of Optimistic Policy Iteration John N. Tsitsiklis Add to Reading List Source URL: www.ai.mit.edu Language: English - Date: 2002-07-14 17:41:00 Computational science Numerical analysis Applied mathematics Computational chemistry Constraint algorithm Dynamic programming Reinforcement learning
7	Introduction A First Approach The Road Ahead Mutual Constraint in Bayesian Learning of Word Reference and Word Meaning Add to Reading List Source URL: www.luke.maurits.id.au Language: English - Date: 2016-04-23 00:08:24 Educational psychology Bayesian inference Statistical forecasting Statistical inference Statistical theory Educational technology Learning
8	Semantic Web-based Group Formation for E-learning Asma Ounnas School of Electronics and Computer Science University of Southampton, UK Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-04-25 13:56:04 Knowledge engineering Semantic Web Knowledge representation Technical communication Information science Constraint satisfaction Ontology Web Ontology Language Frame language Upper ontology
9	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2015-12-11 18:43:06 Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories
10	Learning Constraint Satisfaction Problems: an ILP Perspective Luc De Raedt1 , Anton Dries1 , Tias Guns1 , and Christian Bessiere2 1 2 Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2015-06-16 06:45:22

UPDATE